Computer algebra system - PDFSEARCH.IO - Document Search Engine

Computer algebra system
Results: 376

#	Item
71	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
72	Febrl – A Freely Available Record Linkage System with a Graphical User Interface Peter Christen Department of Computer Science, The Australian National University Canberra ACT 0200, Australia Email: peter.christen@anu. Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:38 Record linkage Information Data Machines Mechanisms Business intelligence Linkage Data cleansing Database index Data management Mechanical engineering Computer algebra
73	University of Applied Sciences Braunschweig / Wolfenbüttel VITA Lon-Capa in Wolfenbüttel, Germany Add to Reading List Source URL: www.lon-capa.org Language: English - Date: 2010-01-03 21:41:45 LON-CAPA Wolfenbüttel Computer algebra system
74	ICS 1F — Winter 1998 — Midterm Name: Student ID: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1998-02-10 16:51:49 Mathematical logic Propositional calculus Semantics Digital circuits Binary arithmetic Binary numeral system Boolean circuit Truth table FO Mathematics Boolean algebra Theoretical computer science
75	Optimization-Based Virtual Surface Contact Manipulation at Force Control Rates Donald D. Nelson Elaine Cohen University of Utah, Computer Science Dept. 50 S Central Campus Dr. Rm. 3190 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 1999-12-14 18:25:47 Multivariable calculus Surfaces Dynamical systems Linear algebra Mechanics Multibody system Kinematics Differential geometry of surfaces Parametric surface Mathematics Algebra Calculus
76	II C. G. T .lvi. 5 S. Ho;.vry Octob e r 1965 Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:15:44 Vector calculus Linear algebra Surfaces Coordinate systems 3D computer graphics Euclidean vector Cartesian coordinate system Normal Parametric surface Geometry Algebra Mathematics
77	IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS (TVCG), ACCEPTED, Stable Feature Flow Fields Tino Weinkauf, Holger Theisel, Allen Van Gelder, Alex Pang Add to Reading List Source URL: www.semseg.eu Language: English - Date: 2010-11-29 18:52:19 Abstract algebra Visualization Vortex Core Line Vector space Vector field Navier–Stokes equations Dynamical system Eigenvalues and eigenvectors Algebra Mathematics Linear algebra
78	Revised August 2014 DAVID EISENBUD VITA Born April 8, 1947, New York City US Citizen Married, with two children Add to Reading List Source URL: www.msri.org Language: English - Date: 2014-11-30 21:49:02 Algebraic geometry Commutative algebra David Eisenbud Graduate Texts in Mathematics Algebra & Number Theory Bernd Sturmfels Mathematical Sciences Research Institute Cohen–Macaulay ring Macaulay computer algebra system Abstract algebra Mathematics Algebra
79	Simplification of Symbolic-Numerical Interval Expressions∗ E. D. Popova C. P. Ullrich Inst. of Mathematics & Comp. Sci. Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Interval Computer algebra system Polynomial Calculus Logarithm Mathematics Algebra Mathematical software
80	OUTLINE OF REFLECTION THEORY In the above diagram, the viewer is situated at point O, denoted by p = (0,-H,V), where H is the HORIZONTAL distance of the viewpoint from the origin, and V is the VERTICAL height. The co-or Add to Reading List Source URL: www.tonytooth.co.uk Language: English - Date: 2012-02-15 05:28:01 Vectors 3D computer graphics Surfaces Group theory Vector space Cartesian coordinate system Normal Angle Classical Hamiltonian quaternions Algebra Mathematics Linear algebra

UPDATE